http://www.eiffel.com/doc/manuals/technology/dotnet/eiffelsharp/